English lambda notation: переклад на інші мови